package analysisOfConcurrent.quickcheck;

import java.util.List;
import static net.java.quickcheck.generator.CombinedGenerators.nonEmptyLists;
import static net.java.quickcheck.generator.PrimitiveGenerators.letterStrings;

import net.java.quickcheck.Generator;

public class StateGenerator implements Generator<State>{
	
	List<String> linkedList = nonEmptyLists(letterStrings()).next();
	
	State state = new State(linkedList);
	Generator<Call> calls = new CallGenerator();

	@Override
	public State next() {
		
		state.command(calls.next());
		return state;
	}

	
}
